1. Buchi's monadic second order successor arithmetic

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Predicate calculus,، Sequential machine theory

رده :
QA
3
.
L28
no
.
120

2. Buchi's monadic second order successor arithmetic

پدیدآورنده :

موضوع : ، Predicate calculus,، Sequential machine theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

3. Buchi`s monadic second order successor arithmetic

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع: Predicate calculus,Sequential machine theory

رده :
QA
3
.
L28
no
.
120

4. Mathematical Foundations of Computer Science 1976 :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Computer Science.,Computers.

رده :
QA267
.
3
E358
1976

5. The Turing omnibus :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.

رده :
QA76
.
D45
1989

6. The (new) Turing omnibus :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.

رده :
QA76
.
D448
1993